﻿import "System.Console.ss";
import "System.HTML.ss";

public namespace NSpace
{
	using System.Console;
	using System.HTML;
	
	System.Console.Write("Hallo Neue Welt");
	System.Console.WriteLine();
	
	@WaveState
	public abstract sealed class MyState
	{
		@WaveState
		public static string Kennzeichen { get; set; }
		@WaveState
		public static num MaxSpeed { get; set; }
		@WaveState
		public static list<string> Names { get; set; }
	}
	
	var xml = <input type="submit" value="Set some value" click={ a -> (MyState.Kennzeichen = "FB-XX-1992") } />;
	
	public void NeuesKennzeichen(string str)
	{
		Write(str);
	}
	
	MyState.Kennzeichen => NeuesKennzeichen;
}